Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
291	2011 SAAP Discussion Paper Submission Abstract: The aim of this paper is to clarify the main questions and aims guiding Charles Sanders Peirce’s phenomenological inquiries concerning the universal categories. The pape Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:17 Philosophy Charles Sanders Peirce Philosophy of science Phenomenology Philosophical movements Philosophical logic Classification of the sciences Category of being Semiotics Scientific method Abductive reasoning Phenomenological sociology
292	Web Service Composition using Service Suggestions Rui Wang1, Chaitanya Guttula1, Maryam Panahiazar3, Haseeb Yousaf1, John A. Miller1,3, Eileen T. Kraemer1,3 and Jessica C. Kissinger1-4 1 Department of Computer Science Add to Reading List Source URL: cobweb.cs.uga.edu Language: English - Date: 2011-02-16 11:54:03 Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Semantic Web service Graph theory Computing Philosophy of mathematics Knowledge
293	RMM Vol. 2, 2011, 103–114 Special Topic: Statistical Science and Philosophy of Science Edited by Deborah G. Mayo, Aris Spanos and Kent W. Staley http://www.rmm-journal.de/ Sir David Cox and Deborah Mayo Add to Reading List Source URL: www.rmm-journal.com Language: English - Date: 2011-10-18 07:00:37 Statistics Statistical theory Logic Statistical inference Philosophy of science Hypothesis testing Probability interpretations Foundations of statistics Bayesian probability Frequentist probability Frequentist inference Prior probability
294	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
295	From image descriptions to visual denotations: New similarity metrics for semantic inference over event descriptions Peter Young Alice Lai Micah Hodosh Julia Hockenmaier Department of Computer Science University of Illin Add to Reading List Source URL: shannon.cs.illinois.edu Language: English - Date: 2014-01-20 18:45:26 Semantics Computational linguistics Linguistics Logic Language Natural language processing Semiotics Meaning SemEval Distributional semantics Denotation Code
296	Economics 240A Page 2 Syllabus Economics 240A Page 3 Syllabus Add to Reading List Source URL: econ.ucsb.edu Language: English - Date: 2015-09-29 19:20:59 Logic Statistics Knowledge Abduction Deductive reasoning Philosophy of science Psychometrics Statistical inference Statistical theory Casella Estimation theory
297	IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial Add to Reading List Source URL: idt.uab.cat Language: English - Date: 2015-10-21 12:03:07 Semantic Web Computing Ontology Information science Cognitive science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic reasoner UAB Institute of Law and Technology Leibniz Center for Law
298	Modular Verification of Open Features Through Three-Valued Model Checking Harry C. Li Brown University, USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-05-02 20:58:40 Logic Mathematical logic Theoretical computer science Boolean algebra Logic in computer science Formal methods Classical logic Formal verification Model checking Modal logic Propositional calculus Temporal logic
299	http://www.wischik.com/lu/research/oldnames.html Old Names for Nu Lucian Wischik, Microsoft. JuneAbstract. There is a gap between theory and implementation of the pi Add to Reading List Source URL: www.wischik.com Language: English - Date: 2005-01-27 16:22:38 Mathematics Theoretical computer science Logic Abstraction Process calculi -calculus Lambda calculus Process calculus Limit of a function Quantifier Sheaf Jet bundle
300	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof

UPDATE